<div id="submenu">
    <ul>
      <?php foreach($GLOBALS['GV_PAGE_CONTENT']  as $id=>$name):?>
       <li><a href="page-content.php?page_id=<?php echo $id;?>"><?php echo htmlspecialchars($name);?></a></li>
      <?php endforeach;?>
    </ul>
  </div>